Sorry, this requires a browser that supports frames!
Try
proof_ct.html
instead.